Verifying Business Process Compatibility
نویسندگان
چکیده
We describe a process-algebraic approach to verifying process interactions for business collaboration described in Business Process Modelling Notation. We first overview our process semantics for BPMN in the language of Communicating Sequential Processes; we then use a simple example of business collaboration to demonstrate how our semantic model may be used to verify compatibility between business participants in a collaboration.
منابع مشابه
Verifying Compliance of Business Processes with Temporal Answer Sets
In this paper we provide a framework for the specification and the verification of business processes, which is based on a temporal extension of answer set programming (ASP) and we address the problem of verifying the compliance of business processes to norms. The logical formalism we use, is a combination of Answer Set Programming and Dynamic Linear Time Temporal Logic (DLTL), and allows for a...
متن کاملBusiness process verification: a Petri Net approach i
In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the meaningfulness of the distributed business process. We start with a description and motivation of different notio...
متن کاملProcess Logic for Verifying the Correctness of Business Process Models
Extended Abstract Process verification is a key step in business process management. In this paper, we propose process logic as a new logical formalism and mathematical method to enable advanced process verification. We formally define the syntax and semantics of process logic, establish a formal relationship between process logic and graphical representation of process models, and transform th...
متن کاملA Rigorous Methodology for Composing Services
Creating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by CRESS (Communication Represent...
متن کاملAn Approach to Business Process Modeling Emphasizing the Early Design Phases
This paper proposes an approach to formal business process modeling emphasizing the early design phases. That means, the focus is on gathering requirements of a business process in an informal environment. First, methods to systematically elicit all requirements are discussed. Then, it is suggested to formally model and validate the elicited requirements before integrating them to a formal busi...
متن کامل